Head : Romain GUILLAUME
Frédéric MARIS
The ADRIA team contributes to the development of new approaches to knowledge representation, reasoning and decision in Artificial intelligence.
Problematics
Formal frameworks are proposed and studied by ADRIA for reasoning, decision, argumentation and learning.
The addressed problems rely on basic formal tools like: possibility and imprecise probability theories for the treatment of epistemic uncertainty; logical or graphical models for the representation of preferences (VCSP, CP-Nets, GAI-Nets, …); non-monotonic, weighted, or fuzzy logics intended to bypass the inadequacy of classical logical inference at capturing specific features of human reasoning.
- Reasoning Current work deals with: The links between (generalized) possibilistic logic, modal logics, multivalued logics and logic programming. The revision and the fusion of uncertain and partially conflicting pieces of information coming from multiple sources. Commonsense reasoning based on analogical proportions.
- Decision We focus on axiomatic foundations of decision rules in the qualitative setting, as well as logical and computational tools for multicriteria and/or collective decision and planning problems. Their highly combinatorial nature requires the search for tractable subclasses.
- Argumentation We develop formal models of argumentation and their applications to reasoning, explaining decisions, or modeling dialogues (for negotiation purposes especially).
- Learning ADRIA is interested in various aspects of artificial learning (analogy, preference learning, formal concept analysis), and their adaptation to uncertainty frameworks but also to its connection to human learning (à la Piaget). This methodological work is generally carried out in connection to applications, like scheduling, diagnosis, risk analysis, optimization and product configuration.
Some applications
- Risk analysis and safety criteria for the underground storage of CO2
- Nutri-Educ system for human assistance in dietetics
- Data reconciliation in material flow analysis of rare earths
- Production planning and risk management for supply chains
To learn more: Download the flyer (pdf)
skills
team Members
- Leila AMGOUDSenior Researcher – CNRS
- Jean-Christophe BUISSONProfessor – Toulouse INP
- Emmanuelle CLAEYSAssociate Professor – UT3
- Martin COOPERProfessor – UT3
- Didier DUBOISSenior Researcher Emérite (HDR) – CNRS
- Hélène FARGIERSenior Researcher – CNRS
- Francis FAUXAssociate Professor – INU Champollion
- Romain GUILLAUMEAssociate Professor (HDR) – UT2
- Marie-Christine LAGASQUIE-SCHIEXProfessor – UT3
- Frédéric MARISAssociate Professor (HDR) – UT3
- Jérôme MENGINAssociate Professor – UT3
- Henri PRADESenior Researcher Emérite (HDR) – CNRS
- Pierre RÉGNIERAssociate Professor (HDR) – UT3
- Gilles RICHARDProfessor Emérite (HDR) – UT3
- Mathieu SERRURIERAssociate Professor (HDR) – UT3
- Caroline THIERRYProfessor – UT2
- Pascale ZARATÉProfessor – UT Capitole
- Usma AKTARIntern M2 – UT3
- Jérémy BOUCHÉ-PILLONPhD Student – Toulouse INP (joint direction MELODI, LILaC)
- Francesco CHIARIELLOContractual Researcher – UFT
- Anaïs CLOTILDEIntern M1 – UT3
- Clément CONTETPhD Student – UT3 (joint direction LILaC)
- Michael CORBEAUPhD Student – UT3
- Adrien DELMOTEIntern M1 – UT3
- Théo DUCHATELLETeacher-researcher Temporary Research Assistant – UT3 (joint direction LILaC)
- Sid Ahmed ELANDALOUSSITeacher-researcher Temporary Research Assistant – UT Capitole
- Thorsten ENGESSERContractual Researcher – UT3 (joint direction LILaC)
- Pierre-Yves GICQUELResearch Engineer – UT3 (joint direction MELODI, LILaC)
- Sylvaine LAVANDIER MIROUZEPhD Student – UT3
- Arnaud LEQUENPhD Student – UT3
- Olivier LÉTOFFÉPhD Student – UT3
- Basile MOURETIntern – Toulouse INP
- Rolin Gabriel RASOANAIVOContractual Researcher – UT Capitole
- Léo SAULIÈRESPhD Student – UT3
- Jérémy TRAVERSACPhD Student – UT Capitole
- Anthony BRONNER-ETELINYoung doctor IRIT – UT Capitole
- Céline CASTETS-RENARDAssociate teacher-researcher – Université d’Ottawa – Canada
- Florence DUPIN DE SAINT CYR – BANNAYTeacher-researcher – UT3
- François GALASSOAssociate teacher-researcher – UT Capitole
- Emma GRANDGIRARDAssociate PhD Student – UT3
- Jérôme LANGGuest Researcher – CNRS
- Joao MARQUES SILVAGuest Researcher – Université Espagne
- Pierre POMERET-COQUOTYoung doctor IRIT – UT3 (joint direction ACADIE)
- Agnes RICOAssociate teacher-researcher – Autre
- Amélie TURCIAssociate PhD Student – Université de Rennes
team publications
Rôlin Gabriel Rasoanaivo, Morteza Yazdani, Pascale Zaraté, Amirhossein Fateh
Combined Compromise for Ideal Solution (CoCoFISo): a multi-criteria decision-making based on the CoCoSo method algorithm
Expert Systems with Applications, In press, pp.124079. ⟨10.1016/j.eswa.2024.124079⟩
Rôlin Gabriel Rasoanaivo, Pascale Zaraté
A rank aggregating method based on several multi-criteria methodologies “Minimum of Ranks” (MIRA): a case study for student’s room allocation
IJDSS: International Journal on Decision Support System, 2024, 5 (1), pp.75–101. ⟨10.1504/IJDSS.2024.10062705⟩
Rôlin Gabriel Rasoanaivo, Pascale Zaraté
SAGeLogE: a decision support system for students’ accommodation management
Journal of Computer and Communications, 2024, 12 (3), pp.107-145. ⟨10.4236/jcc.2024.123008⟩
Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet
Confidence assessment in safety argument structure – Quantitative vs. qualitative approaches
International Journal of Approximate Reasoning, 2024, 165, pp.109100. ⟨10.1016/j.ijar.2023.109100⟩
Jérôme Bolte, Edouard Pauwels, Antonio José Silveti-Falls
Differentiating Nonsmooth Solutions to Parametric Monotone Inclusion Problems
SIAM Journal on Optimization, 2024, 34 (1), 27 p. ⟨10.1137/22M1541630⟩
Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin
Some thoughts about artificial stupidity and artificial dumbness
AI Communications, 2023, 2023 (pre-press), pp.1–15. ⟨10.3233/AIC-220322⟩
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Logical Modeling of the Yōkai Board Game
AI Communications, In press, pp.1-32. ⟨10.3233/AIC-230050⟩
Christian Bessiere, Clément Carbonnel, Martin Cooper, Emmanuel Hebrard
Complexity of minimum-size arc-inconsistency explanations
Constraints, 2023, 28, pp.427-449. ⟨10.1007/s10601-023-09360-5⟩
Florence Dupin de Saint-Cyr, Henri Prade
Belief revision and incongruity: is it a joke?
Journal of Applied Non-Classical Logics, 2023, Special issue in honor of Philippe Besnard, 33 (3-4), pp.467-494. ⟨10.1080/11663081.2023.2244379⟩
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks
Journal of Applied Non-Classical Logics, 2023, Logic, arguments, inconsistencies: festschrift in honour of Philippe Besnard, 33 (3-4), pp.244-297. ⟨10.1080/11663081.2023.2244715⟩
L’intelligence artificielle d’hier à aujourd’hui
Droit Social, 2021, 2 – février 2021 (Dossier : L’IA dans l’entreprise : usages et régulations), pp.106-109
Nicolas Drougard, Florent Teichteil-Konigsbuch, Jean-Loup Farges, Didier Dubois
Processus décisionnels de Markov possibilités à observabilité mixte
In : Revue d’Intelligence Artificielle (RIA), Lavoisier, Vol. 29, N. 6, pp. 629-653, 2015.
Nahla Ben Amor, Fatma Essghaier, Hélène Fargier
Décision collective sous incertitude possibiliste. Principes et axiomatisation.
In : Revue d’Intelligence Artificielle (RIA), Lavoisier, Special issue LA LOGIQUE FLOUE ET SES APPLICATIONS, Vol. 29, N. 5, pp. 515-542, 2015.
Didier Dubois, Henri Prade, Agnès Rico
Capacités qualitatives et information incomplète
In : Revue d’Intelligence Artificielle (RIA), Lavoisier, Special issue La Logique floue et ses applications, Vol. 29, N. 5, pp. 493-514, 2015.
URL : http://www.irit.fr/publis/ADRIA/papersDDUBOIS/capacitepossibilite2.pdf – https://oatao.univ-toulouse.fr/15508/
BibTeXHélène Fargier, Pierre Marquis, Nicolas Schmidt
Compacité pratique des diagrammes de décision valués. Normalisation, heuristiques et expérimentations.
In : Revue d’Intelligence Artificielle (RIA), Lavoisier, Vol. 28, N. 5, pp. 571-592, 2014.
URL : http://ria.revuesonline.com/article.jsp?articleId=19950 – https://oatao.univ-toulouse.fr/15482/
BibTeXDominique Guyonnet, Didier Dubois, Hélène Fargier
Positionnement de l’innovation en matière de Procédés métallurgiques de traitement et de recyclage- cas des terres rares
In : Mines & Carrières, Société de l’industrie minérale, Paris – France, Vol. Special edition, pp. 11, October 2014.
Vladik Kreinovitch, Christelle Jacob, Didier Dubois, Janette Cardoso, Martine Ceberio
Failure Analysis of a Complex System Based on Partial Information about Subsystems, with Potential Applications to Aircraft Maintenance
In : Applied and Computational Mathematics, Azerbaijan National Academy of Sciences, Special issue Artificial Intelligence and Soft Computing, Vol. 11, N. 2, pp. 165-179, 2012.
LELIE : analyse et prévention des risques par lanalyse du contenu des documents industriels
In : Face au Risque, Centre National de Prévention et de Protection, France, Vol. 485, pp. 19-22, October 2012.
Pierre Bisquert, Claudette Cayrol, Florence Dupin De Saint Cyr – Bannay, Marie-Christine Lagasquie-Schiex
Changement dans un système d’argumentation : suppression d’un argument
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 26, N. 3/2012, pp. 225-254, May 2012.
URL : http://www.irit.fr/publis/ADRIA/PapersDupin/DRAFT_bisquertRIA2012.pdf – http://dx.doi.org/10.3166/ria.26.225-253
BibTeXDidier Dubois, Henri Prade, Steven Schockaert
Règles et métarègles en théorie des possibilités. De la logique possibiliste à la programmation par ensembles-réponses.
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 26, N. 1-2, pp. 63-83, 2012.
Théorie de l’évidence pour suivi de visage
In : Traitement du Signal, GRETSI : Groupement de Recherche en Traitement du Signal et des Images, Vol. 28, N. 5, pp. 515-545, 2011.
Bernard De Baets, Didier Dubois, Eyke Hullermeier
Special Issue Celebrating the 50th Anniversary of Fuzzy Sets
Dans : Fuzzy Sets and Systems, Elsevier, Vol. 281, décembre 2015.
URL : http://www.sciencedirect.com/science/journal/01650114/281
BibTeXMasahiro Inuiguchi, Junzo Watada, Didier Dubois
Fuzzy modeling for optimisation and decision support
Dans : Fuzzy Sets and Systems, Elsevier, Vol. 274, septembre 2015.
URL : http://www.sciencedirect.com/science/journal/01650114/274
BibTeXFeatured issue on collaborative decision processes and analysis
Dans : European Journal on Decision Processes, Springer, Vol. 3 N. 3 & 4, novembre 2015.
Fuzzy sets in statistics
Dans : Computational Statistics and Data Analysis, Elsevier, Vol. 56 N. 4, 2012.
Handling incomplete and fuzzy information in data analysis and decision processes
Dans : International Journal of Approximate Reasoning, Elsevier, Vol. 52 N. 9, 2011.
Carmel Domshlak, Eyke Hullermeier, Souhila Kaci, Henri Prade
Representing, Processing, and Learning Preferences : Theoretical and Practical Challenges (Special Issue)
Dans : Artificial Intelligence, Elsevier, Vol. 175 N. 7-8, mai 2011.
Special issue on Bipolar representations of information and preference – Part2: Reasoning and Learning
Dans : International Journal of Intelligent Systems, Wiley, Vol. 23 N. 10, octobre 2008.
Special issue on Bipolar representations of information and preference (Part 1A: Cognition and Decision)
Dans : International Journal of Intelligent Systems, Wiley, Vol. 23 N. 8, août 2008.
Special Issue on Bipolar Representations of Information and Preference (Part 1B: Cognition and Decision)
Dans : International Journal of Intelligent Systems, Wiley, Vol. 23 N. 9, septembre 2008.
Didier Dubois, Jerzy W. Grzymala-Busse, Masahiro Inuiguchi, Lech Polkowski
Rough Sets and Fuzzy Sets
Dans : Transactions on Rough Sets II, LNCS 3135, Springer, Vol. ., 2004.
Louis Béthune, Thomas Masséna, Thibaut Boissin, Corentin Friedrich, Franck Mamalet, Aurélien Bellet, Mathieu Serrurier, David Vigouroux
DP-SGD Without Clipping: The Lipschitz Neural Network Way
International Conference on Learning Representations (ICLR), May 2024, Vienna, Austria
Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
How to Manage Supports in Incomplete Argumentation
13th International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2024), Apr 2024, Sheffield, United Kingdom. pp.319–336, ⟨10.1007/978-3-031-56940-1_18⟩
Florence Dupin de Saint-Cyr, Nicolas Yannick Pepin, Nassim Mokhtari, Philippe Morignot, Julien Vianey, Anne-Gwenn Bosser, Liana Ermakova
DriveToGaether: a Turnkey Collaborative Robotic Event Platform
16th International Conference on Agents and Artificial Intelligence (ICAART 2024), Feb 2024, Rome, Italy. pp.404–411, ⟨10.5220/0012463800003636⟩
Mathieu Serrurier, Franck Mamalet, Thomas Fel, Louis Béthune, Thibaut Boissin
On the explainable properties of 1-Lipschitz Neural Networks: An Optimal Transport Perspective
Conference on Neural Information Processing Systems (NeurIPS), Neural Information Processing Systems Foundation, Dec 2023, New Orleans (Louisiana), United States
Xuanxiang Huang, Joao Marques-Silva
From Decision Trees to Explained Decision Sets
26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. pp.1100 –1108, ⟨10.3233/FAIA230384⟩
Abductive Explanations of Classifiers under Constraints: Complexity and Properties
26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Krakow, Poland. pp.469 – 476, ⟨10.3233/FAIA230305⟩
Léo Saulières, Martin Cooper, Florence Dupin de Saint-Cyr
Predicate-based explanation of a Reinforcement Learning agent via action importance evaluation
4th workshop on Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI 2023) @ ECML/PKDD conference, Sep 2023, Turin, Italy. à paraître
Salem Benferhat, Didier Dubois, Henri Prade
Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion
17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), CRIL, Université d’Artois – CNRS, Sep 2023, Arras, France. pp.427-441, ⟨10.1007/978-3-031-45608-4_32⟩
Leila Amgoud, Vivien Beuselinck
An Equivalence Class of Gradual Semantics
7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), Sep 2023, Arras, France. à paraître
Florence Dupin de Saint-Cyr, Francis Faux
Integrating evolutionary prejudices in belief function theory
17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), CRIL, Sep 2023, Arras, France. pp.400–414
Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Classes of Explanations for the Verification Problem in Abstract Argumentation
Journées d’Intelligence Artificielle Fondamentale (JIAF 2023), Association française pour l’intelligence artificielle (AFIA), Jul 2023, Strasboug, France. pp.1-10
Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin
Quelques réflexions autour de la notion de bêtise artificielle
16èmes Journées d’Intelligence Artificielle Fondamentale (Plate-Forme Intelligence Artificielle) (JIAF 2022), Zied Bouraoui; Anaëlle Wilczynski, Jun 2022, Saint-Etienne, France. pp.1-11
Martin Cooper, Arnaud Lequen, Frédéric Maris
Isomorphismes entre instances et sous-instances STRIPS
Journées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning
Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4
Hélène Fargier, Paul Jourdan, Régis Sabbadin
Jeux bayésiens hypergraphiques
Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.38-45
Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot
Jeux incomplets algébriques
Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.46-53
Jean Lieber, Emmanuel Nauer, Henri Prade
Quand l’adaptation des cas par révision des croyances et l’extrapolation analogique se rencontrent
15èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2021), Jun 2021, Bordeaux (virtuel), France. pp.34-44
Trong-Hieu Tran, Cédric Pralet, Hélène Fargier
Hybridation entre recherche incomplète et apprentissage de conflits pour un problème de routage avec sélection de clients
22ème congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2021), Société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF); Laboratoire IRIMAS de l’Université de Haute-Alsace, Apr 2021, Mulhouse (en distanciel), France. pp.1-2
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation (JIAF 2020)
14èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2020), AFIA, 2020, Angers, France. pp.99-108
Didier Dubois, Luc Jaulin, Henri Prade
Ensembles épais, fonctions multivoques, et théorie des possibilités
28èmes Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2019), Nov 2019, Alès, France
Jérémie Huteau, Adrian Basarab, Florence Dupin de Saint-Cyr
MSE * * : Multi-modal semantic embeddings for datasets with several positive matchings
Sanju Tiwari; Fernando Ortiz Rodriguez; Sarra Ben Abbes; Patience Usoro Usip; Rim Hantach. Semantic AI in Knowledge Graphs, Taylor & Francis Group, pp.91-110, 2023, 978-1003313267. ⟨10.1201/9781003313267-4⟩
Nelly Barbot, Laurent Miclet, Henri Prade, Gilles Richard
Analogical Proportions and Binary Trees
Béziau Jean-Yves; Desclès Jean-Pierre; Moktefi Amirouche; Pascu Anca Christine. Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019), Springer International Publishing, pp.435-458, 2023, Studies in Universal Logic book series (SUL), 978-3-030-94451-3. ⟨10.1007/978-3-030-94452-0_22⟩
Anthony Bronner-Etelin, Pascale Zaraté
ERP and Time Management
Encyclopedia of Data Science and Machine Learning, IGI Global, pp.2781-2798, 2022, Encyclopedia of Data Science and Machine Learning, ⟨10.4018/978-1-7998-9220-5.ch166⟩
Representing belief: beyond probability and logic
The Handbook of Rationality, Part II: Theorical rationality (Section 4: Probabilistic Reasoning), https://mitpress.mit.edu/about, 2021, 978-0262045070
Isabelle Linden, Jean Gomes Turet, Fatima Dargam, Shaofeng Liu, Rita Ribeiro, Pascale Zaraté, Ana Paula Cabral Seixascosta
30 Years of the EWG-DSS Through the Lens of the Collab-Net Project
Jason Papathanasiou; Pascale Zaraté; Jorge Freire de Sousa. EURO Working Group on DSS: A Tour of the DSS Developments Over the Last 30 Years, Springer International Publishing, pp.51-78, 2021, Integrated Series in Information Systems, 978-3-030-70376-9. ⟨10.1007/978-3-030-70377-6_4⟩
Jason Papathanasiou, Pascale Zaraté, Jorge Freire de Sousa
EURO Working Group on DSS: A Tour of the DSS Developments Over the Last 30 Years
Jason Papathanasiou; Pascale Zaraté; Jorge Freire de Sousa. Springer International Publishing, VIII, 413p., 2021, Integrated Series in Information Systems (ISIS), 978-3-030-70377-6. ⟨10.1007/978-3-030-70377-6⟩
Matías Urbieta, Sergio Firmenich, Pascale Zaraté, Alejandro Fernandez
Web-Augmentation, Design Thinking, and Collaboration Engineering to Foster Innovation in DSS for Agriculture: A Case Study
Agriculture Value Chain – Challenges and Trends in Academia and Industry, 280, , pp.1-18, 2021, Studies in Systems, Decision and Control book series (SSDC), 978-3-030-51046-6. ⟨10.1007/978-3-030-51047-3_1⟩
Leandro Antonelli, Guy Camilleri, C. Challiol, A. Fernandez, M. Hozikian, R. Giandini, J. Grigera, A. Lliteras, J. Martin, D. Torres, Pascale Zaraté
An Extension to Scenarios to Deal with Business Cases for the Decision-Making Processes in the Agribusiness Domain
Agriculture Value Chain – Challenges and Trends in Academia and Industry, 280, Springer, pp.35-50, 2021, Studies in Systems, Decision and Control book series (SSDC), 978-3-030-51046-6. ⟨10.1007/978-3-030-51047-3_3⟩
Olivier Boissier, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Jean-Paul Jamont, Abir Karami, Maxime Lefrançois, Céline Rouveirol, François Schartzentruber, Yves Demazeau, Thomas Guyet, Dominique Longin, Frédéric Maris
Conférence Nationale d’Intelligence Artificielle Année 2021
Frédéric Alexandre, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Christian Wolf, Catherine Pelachaud, Nicolas Maudet, Matthieu Geist, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Pierre Marquis, Christel Vrain, Marie-Christine Rousset, Engelbert Mephu-Nguifo, Jacques Nicolas, Vianney Perchet, Philippe Dague, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon, Karim Tabia
Artificial Intelligence. What is it, exactly?
Sébastien Konieczny; Henri Prade. College Publication, 2021, 9781848903388
Contribution to formal foundations of argumentation and case-based reasoning
Library and information sciences. Université Paul Sabatier – Toulouse III, 2023. English. ⟨NNT : 2023TOU30246⟩
Recent advances in formal explainability
Library and information sciences. Université Paul Sabatier – Toulouse III, 2023. English. ⟨NNT : 2023TOU30258⟩
Système d’aide à la décision multicritère pour l’allocation de logements étudiants
Informatique [cs]. Université Toulouse 1 Capitole, 2023. Français. ⟨NNT : ⟩
Representation and exploitation of conditional preferences within a possibilistic framework : comparison withother approaches and extensions
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III; Université de Tunis. Institut supérieur de gestion (Tunisie), 2022. English. ⟨NNT : 2022TOU30293⟩
Representing and exploiting conditional preferences within a possibilistic framework : Comparison with other approaches and extensions
Computer Science [cs]. Université Paul Sabatier – Toulouse 3, 2022. English. ⟨NNT : ⟩
Développement de critères d’optimisation pour la planification de tâches dans une chaîne d’assemblage aéronautique
Ingénierie assistée par ordinateur. Université Toulouse le Mirail – Toulouse II, 2022. Français. ⟨NNT : 2022TOU20078⟩
Logic-based Cognitive Planning : from theory to implementation
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2022. English. ⟨NNT : 2022TOU30193⟩
Neural networks for survival analysis and predictive maintenance
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2022. English. ⟨NNT : 2022TOU30042⟩
Algorithms for enriched abstract argumentation frameworks for large-scale cases
Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30194⟩
Designing an architecture web service oriented for Collaborative Decision Making process facilitation support
Intelligence artificielle [cs.AI]. Université d’Oran, 2021. Français. ⟨NNT : ⟩
Hélène Fargier, Stefan Mengel, Jérôme Mengin
An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages
RR–2023–03–FR, Institut de recherche en informatique de Toulouse (IRIT). 2023
Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
How to Manage Supports in Incomplete Argumentation
IRIT/RR–2023–04–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023
Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel
Incomplete Bipolar Argumentation Frameworks
IRIT/RR–2023–01–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023, pp.1-24
Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Classes of Explanations for the Verification Problem in Abstract Argumentation
IRIT/RR–2022–09–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
RAFDivider
[Research Report] IRIT/RR–2022–07–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-48
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
AFDivider : Manual and Documentation
[Research Report] IRIT/RR–2022–02–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-45
Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Question-Based Explainability in Abstract Argumentation
[Research Report] IRIT/RR–2022–01–FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2022, pp.1-64
Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Explainability of Extension-Based Semantics
[Research Report] IRIT/RR–2022–05–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022, pp.1-20
Marie-Christine Lagasquie-Schiex
Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Necessary Supports
[Research Report] IRIT/RR- -2021- -08- -FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2021
Marie-Christine Lagasquie-Schiex
Handling Support Cycles in the Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports: An Improvement
[Research Report] IRIT/RR–2021–04–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2021
team Contracts
Acronym | Title | Resp. sc | Start-End year | |
---|---|---|---|---|
ANITI CNRS | Convention de reversement pour la délégation de gestion des chaires projets ANITI | Leila AMGOUD Hélène FARGIER Joao MARQUES SILVA | 2023 – 2024 | |
TUIConstraint | Programme Inter-Carnot Cognition et Arts : Analyse, conception et évaluation de système interactif tangible d’aide à la gestion d’espaces de solution avec contraintes : application à des tâches industrielles | Frédéric MARIS | 2023 – 2026 | |
ForML UT3 | Formally Certified Reasoning in Machine Learning – Partie UT3 | Martin COOPER Joao MARQUES SILVA | 2024 – 2027 | |
HOUSES | Harmonized Operation of Uncertainties in Spatialized Environmental Systems | Hélène FARGIER | 2024 – 2026 | |
Regul-IA | Régulation de l’IA | Mathieu SERRURIER | 2024 – 2027 | |
CAASC [Contract completed] | Adaptation dans un nuage d’une chaîne logistique agile | Hélène FARGIER | 2018 – 2023 | |
DEEP4CAST [Contract completed] | Vers une hybridation des modèles physiques et des techniques d’apprentissage. Application au modèles numériques de prévision du temps | Mathieu SERRURIER | 2018 – 2021 | |
PER4MANCE [Contract completed] | Planification Et Répartition Flexible du travail entre les Opérateurs des chaînes d’asseMblage AéroNautiques : une approChe systémique pour gérer les risques Ergonomiques et économiques | Hélène FARGIER | 2018 – 2023 | |
PING-ACK [Contract completed] | Pré-traitement d’informations pour la résolution de tâches complexes / Compilation avancée de connaissances | Hélène FARGIER | 2018 – 2023 | |
VGI4Bio [Contract completed] | Méthodes d’analyse des indicateurs de biodiversité dans le contexte agricole centrés données et utilisateurs VGI | Pascale ZARATÉ | 2017 – 2022 | |
ARCSYS [Contract completed] | Accés et recollection dans les systèmes d’information complexes | | 2013 – 2016 |
Acronym | Title | Resp. sc | Start-End year | |
---|---|---|---|---|
RUCAPS [Contract completed] | Enhancing and implementing Knowledge based ICT solutions within high Risk and Uncertain Conditions for Agriculture Production Systems | Pascale ZARATÉ | 2016 – 2023 |
Acronym | Title | Resp. sc | Start-End year |
---|